package model.solver;

/**
 * Represent a type of solver.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public enum ESolver {
	UNKNOW ("Solver"), MINISAT ("Minisat"), RSAT ("RSat");

	/**
	 * Return the description of the solver.
	 * 
	 * @return the description of the solver.
	 */
	public String getDescription() {
		return description;
	}

	private String	description;

	private ESolver(String description) {
		this.description = description;
	}
}
